$\forall$${\it the\_w}$:World, $e$:E. FairFifo $\Rightarrow$ ($\uparrow$isrcv(kind($e$))) $\Rightarrow$ (sender($e$) $\in$ E)